منابع مشابه
Functional Logic Programs with Dynamic Predicates
In this paper we propose a new concept to deal with dynamic predicates in functional logic programs. The definition of a dynamic predicate can change over time, i.e., one can add or remove facts that define this predicate. Our approach is easy to use and has a clear semantics that does not depend on the particular (demand-driven) evaluation strategy of the underlying implementation. In particul...
متن کاملNEEL+: Supporting Predicates for Nested Complex Event Processing
Complex event processing (CEP) has become increasingly important in modern applications, ranging from supply chain management for RFID tracking to real-time intrusion detection. These monitoring applications must detect complex event pattern sequences in event streams. However, the state-of-art in the CEP literature such as SASE, ZStream or Cayuga either do not support the specification of nest...
متن کاملFunctional Encryption for Inner Product Predicates from Learning with Errors
We propose a lattice-based functional encryption scheme for inner product predicates whose security follows from the difficulty of the learning with errors (LWE) problem. This construction allows us to achieve applications such as range and subset queries, polynomial evaluation, and CNF/DNF formulas on encrypted data. Our scheme supports inner products over small fields, in contrast to earlier ...
متن کاملDynamic Predicates in Functional Logic Programs
In this paper we propose a new concept to deal with dynamic predicates in functional logic programs. The definition of a dynamic predicate can change over time, i.e., one can add or remove facts that define this predicate. Our approach is easy to use and has a clear semantics that does not depend on the particular (demand-driven) evaluation strategy of the underlying implementation. In particul...
متن کاملRomance complex predicates: phrasal and functional structure
Recently there has been much work in surface constraint-based frameworks on complex predicate constructions (causative and light verb constructions), that are found in Romance and other languages. Manning et al. forthcoming). The enthusiasm for this area comes from the fact that these constructions contradict certain of the assumptions of early work in surface constraint-based frameworks. Never...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Control
سال: 1975
ISSN: 0019-9958
DOI: 10.1016/s0019-9958(75)90175-8